Pensieve header: Searching for the EK-type equation for V.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2012-05\\beta5.0"];
<< betaCalculus.m
Clear[ℏ]; Unprotect[C];
$PerturbativeDegree=6;
βSimplify[expr_]:= Replace[
Series[Normal[expr], {ℏ, 0, $PerturbativeDegree}],sd_SeriesData :> MapAt[Expand, sd, 3]
];
βCollect[B[ω_, μ_]] := B[
βSimplify[ω],
βSimplify[μ]
];
{V, C, sol} = Get["SolutionToDegree6-120501.m"];
{V, C, sol1} = Get["SolutionToDegree6-120518.m"];
{V,C} = {
βCollect[
B[ω[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])],α[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])]t[1]h[1]+β[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])]t[1]h[2]+γ[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])]t[2]h[1]+δ[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])]t[2]h[2]]
] /. {
(ϵ:(α|β|γ|δ|ω|κ))[___] :> (Subscript[ϵ, 0]), Derivative[k___][(ϵ:(α|β|γ|δ|ω|κ))][___] :> (Subscript[ϵ, FromDigits[{k}]])
},
βCollect[B[κ[ℏ (Subscript[c, 1])],0]] /. {
(ϵ:(α|β|γ|δ|ω|κ))[___] :> (Subscript[ϵ, 0]), Derivative[k___][(ϵ:(α|β|γ|δ|ω|κ))][___] :> (Subscript[ϵ, FromDigits[{k}]])
}
} /. sol /. sol1

{
"R4" -> R[2,3]**R[1,3]**V==V**(R[1,3] // dΔ[1,1,2]),
"TwistEq" -> V**Θ[1,2]==R[1,2]**(V // dP[2,1]),
"Unitarity" -> V**(V // dA[1] // dA[2]) == B[1,0],
"VerticalFlipEquation" -> V**(V // dS[1] // dS[2]) == R[1,2],
"CapEquation" -> (V**(C // dP[12])  // dcap[1] // dcap[2]) == (C*(C // dP[2]) // dcap[1] // dcap[2]),
"SidesNonDegeneracy" -> (V // dη[1])==B[1,0] && (V // dη[2])==B[1,0],
"CapsAndCups" -> Simplify[C ==(C//dS[1])]
}

{V,C}={V,C}/.(Subscript[κ, 1])->0;

Simplify[C ==(C//dS[1])]

Simplify[C ==(C//dA[1])]

C

C /. {(Subscript[c, 1])->1,(Subscript[δ, 10])->-1/16,(Subscript[δ, 30])->-(23/768)}

Solve[((14/3)+128 (Subscript[δ, 30])+(2/3) (16+576 (Subscript[δ, 30])))==0]

Cup equation

Simplify[
(((C//dS[1]//dP[12])**(V//Inverse))//hη[1]//hη[2]) == (C//dS[1])(C//dS[1]//dP[2])
]

Top cap left punctured.

ek1 = V*(C//dP[3]) // tη[1] // dm[2,3,2] // dS[2] // hm[1,2,2] // dP[2->0]

ek1 /. {(Subscript[δ, 10])->-1/16}

No solutions to ek1==1!

Right cup left punctured.

ek2 = V*(C//dP[3]//dS[3]) // dm[3,2,2] // hη[2] // tη[1] // dm[1,2,0]

False && PerturbativeSolveAlways[ek2==B[1,0], ℏ, 6, {(Subscript[c, 0])}]

ek2 /. {(Subscript[c, 0])->1, (Subscript[δ, 10])->-1/16}

No solutions to ek2==1!

Right cup top punctured.

ek3 = V*(C//dP[3]//dS[3]) // dm[3,2,2] // hη[2] // dS[1] // dm[2,1,0]

ek3 /. {(Subscript[c, 0])->1, (Subscript[δ, 10])->-5/48}

No solutions to ek3==1!